Complete theory

Results: 1780



#Item
481Analysis of algorithms / NP-complete problems / Adversary model / Gossip protocol / Clique / Time complexity / Algorithm / Theoretical computer science / Applied mathematics / Computational complexity theory

Gossiping in a Multi-Channel Radio Network An Oblivious Approach to Coping with Malicious Interference (Extended Abstract) Shlomi Dolev1 , Seth Gilbert2 , Rachid Guerraoui3 , and Calvin Newport4 1

Add to Reading List

Source URL: www.comp.nus.edu.sg

Language: English - Date: 2007-09-28 06:21:17
482Network theory / Shortest path problem / NP-complete problems / Connectivity / Euclidean plane geometry / Analysis of algorithms / Path decomposition / Minimum spanning tree / Theoretical computer science / Computational complexity theory / Mathematics

The min-# problem, a hybrid error criterion for near-linear time performance Lilian Buzer∗† Abstract 2.1

Add to Reading List

Source URL: www.cccg.ca

Language: English - Date: 2005-07-31 13:55:46
483Operations research / Combinatorial optimization / Mathematical optimization / NP-complete problems / Algorithm / Mathematical logic / Knapsack problem / Optimization problem / Genetic algorithm / Applied mathematics / Theoretical computer science / Computational complexity theory

Generation of Efficient Algorithms for Maximum Marking Problems (和訳: 最大マーク付け問題の効率的解法の自動生成) Isao Sasano

Add to Reading List

Source URL: www.sic.shibaura-it.ac.jp

Language: English - Date: 2014-02-04 09:21:05
484Complexity classes / NP-complete problems / Structural complexity theory / Mathematical optimization / Parameterized complexity / Dominating set / P versus NP problem / NP-complete / Combinatory logic / Theoretical computer science / Computational complexity theory / Applied mathematics

ANNALS OF PURE AND APPLIED LOGIC Annals of Pure and Applied Logic276 Fixed-parameter tractability and completeness IV:

Add to Reading List

Source URL: www.mrfellows.net

Language: English - Date: 2009-10-14 09:20:30
485NP-complete problems / Network theory / Shortest path problem / Geodesic / Travelling salesman problem / Motion planning / Trigonometric functions / NP / Curvature / Theoretical computer science / Mathematics / Computational complexity theory

CCCG 2011, Toronto ON, August 10–12, 2011 Hardness Results for Two-Dimensional Curvature-Constrained Motion Planning David Kirkpatrick∗

Add to Reading List

Source URL: www.cccg.ca

Language: English - Date: 2011-08-06 04:11:16
486Reasoning / Logical consequence / Non-classical logic / Probabilistic logic / Entailment / First-order logic / Bayesian probability / Inference / Complete theory / Logic / Philosophical logic / Model theory

Questions of Reasoning Under Logical Uncertainty Nate Soares and Benja Fallenstein Machine Intelligence Research Institute {nate,benja}@intelligence.org Abstract

Add to Reading List

Source URL: intelligence.org

Language: English - Date: 2015-03-20 21:16:44
487Constraint programming / Logic in computer science / NP-complete problems / Boolean algebra / Boolean satisfiability problem / Electronic design automation / Satisfiability / NP-complete / Model checking / Theoretical computer science / Applied mathematics / Computational complexity theory

Scheduling and SAT Emmanuel Hebrard Toulouse Outline

Add to Reading List

Source URL: homepages.laas.fr

Language: English - Date: 2014-02-17 02:59:42
488NP-complete problems / Combinatorics / Analysis of algorithms / Set packing / Randomized algorithm / Disjoint-set data structure / Parameterized complexity / Set cover problem / Dominating set / Theoretical computer science / Computational complexity theory / Mathematics

A faster parameterized algorithm for set packing Ioannis Koutis Computer Science Department Carnegie Mellon University Pittsburgh, PAUSA

Add to Reading List

Source URL: ccom.uprrp.edu

Language: English - Date: 2011-03-02 23:58:37
489Routing algorithms / Wireless networking / Routing protocols / Network theory / NP-complete problems / Geographic routing / Routing / Unit disk graph / Shortest path problem / Graph theory / Theoretical computer science / Mathematics

Position-Based Routing on 3-D Geometric Graphs in Mobile Ad Hoc Networks George Kao∗ Thomas Fevens∗

Add to Reading List

Source URL: www.cccg.ca

Language: English - Date: 2005-07-31 13:55:53
490Complexity classes / Polygons / Structural complexity theory / Mathematical optimization / Art gallery problem / Approximation algorithm / Reduction / NP-complete / Optimization problem / Theoretical computer science / Computational complexity theory / Applied mathematics

CCCG 2014, Halifax, Nova Scotia, August 11–13, 2014 Covering Orthogonal Polygons with Sliding k-transmitters Salma Sadat Mahdavi∗ Saeed Seddighin

Add to Reading List

Source URL: www.cccg.ca

Language: English - Date: 2014-08-05 11:21:00
UPDATE